Nuprl Definition : fpf-accum
11,40
postcript
pdf
fpf-accum(
z
,
a
,
v
.
f
(
z
;
a
;
v
);
y
;
x
) == list_accum(
z
,
a
.
f
(
z
;
a
;(
x
.2)(
a
));
y
;
x
.1)
latex
Definitions
list_accum(
x
,
a
.
f
(
x
;
a
);
y
;
l
)
,
t
.2
,
t
.1
FDL editor aliases
fpf-accum
origin